(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     25912,        961]
NotebookOptionsPosition[     17435,        683]
NotebookOutlinePosition[     22261,        826]
CellTagsIndexPosition[     22149,        820]
WindowTitle->DataType
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"DeclareNonCommutative\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/DeclareNonCommutative"]},
       
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/DataType\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/DataType"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/DataType.\
html"], StandardForm]], "Input", TextClipboardType -> "PlainText"]}, Visible -> 
            False]]; SelectionMove[
         DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$56408], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/DataType", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["DataType", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       RowBox[{"DataType", "[", 
        RowBox[{"exp", ",", " ", "type"}], "]"}], "=", "True"}]], 
      "InlineFormula"],
     " \[LineSeparator]defines the object exp to have data-type type. \
DataType[exp1, exp2, ..., type] defines the objects exp1, exp2, ...to have \
data-type type. The default setting is DataType[__, _] := False. To assign a \
certain data-type, do, e.g., DataType[x, PositiveInteger] = True."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->732831778],

Cell["", "SectionHeaderSpacer"],

Cell[TextData[{
 "Currently used DataTypes: ",
 ButtonBox["NonCommutative",
  BaseStyle->"AddOnsLink",
  ButtonData:>"NonCommutative",
  ButtonNote->"NonCommutative"],
 ", ",
 ButtonBox["PositiveInteger",
  BaseStyle->"AddOnsLink",
  ButtonData:>"PositiveInteger",
  ButtonNote->"PositiveInteger"],
 ", ",
 ButtonBox["NegativeInteger",
  BaseStyle->"AddOnsLink",
  ButtonData:>"NegativeInteger",
  ButtonNote->"NegativeInteger"],
 ", ",
 ButtonBox["PositiveNumber",
  BaseStyle->"AddOnsLink",
  ButtonData:>"PositiveNumber",
  ButtonNote->"PositiveNumber"],
 ", ",
 ButtonBox["FreeIndex",
  BaseStyle->"AddOnsLink",
  ButtonData:>"FreeIndex",
  ButtonNote->"FreeIndex"],
 ", ",
 ButtonBox["GrassmannParity",
  BaseStyle->"AddOnsLink",
  ButtonData:>"GrassmannParity",
  ButtonNote->"GrassmannParity"]
}], "Notes",
 CellID->1067943069],

Cell[TextData[{
 "If loaded, PHI adds the DataTypes: ",
 ButtonBox["UMatrix",
  BaseStyle->"AddOnsLink",
  ButtonData:>"UMatrix",
  ButtonNote->"UMatrix"],
 ", ",
 ButtonBox["UScalar",
  BaseStyle->"AddOnsLink",
  ButtonData:>"UScalar",
  ButtonNote->"UScalar"],
 "."
}], "Notes"]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1130400685],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->395178312],

Cell["NonCommutative is just a data-type.", "Notes"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"DataType", "[", 
    RowBox[{"f", ",", "g", ",", " ", "NonCommutative"}], "]"}], " ", "=", " ",
    "True"}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[1]:=",
 CellID->1643430273],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"t", "=", 
  RowBox[{
   RowBox[{"f", ".", "g"}], "-", 
   RowBox[{"g", ".", 
    RowBox[{"(", 
     RowBox[{"2", "a"}], ")"}], ".", "f"}]}]}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[2]:=",
 CellID->370505351],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"f", ".", "g"}], "-", 
   RowBox[{"g", ".", 
    RowBox[{"(", 
     RowBox[{"2", " ", "a"}], ")"}], ".", "f"}]}], TraditionalForm]], "Output",\

 ImageSize->{115, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell["\<\
Since \"f \"and \"g\" have DataType NonCommutative the function DotSimplify \
extracts only \"a\" out of the noncommutative product.\
\>", "Notes",
 CellTags->"DataType",
 CellID->2142748174],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", "t", "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[3]:=",
 CellID->1089346644],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"f", ".", "g"}], "-", 
   RowBox[{"2", " ", "a", " ", 
    RowBox[{"g", ".", "f"}]}]}], TraditionalForm]], "Output",
 ImageSize->{101, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"DataType", "[", 
    RowBox[{"m", ",", "odd"}], "]"}], "=", 
   RowBox[{
    RowBox[{"DataType", "[", 
     RowBox[{"a", ",", "even"}], "]"}], "=", "True"}]}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[4]:=",
 CellID->2121249133],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"ptest1", "[", "x_", "]"}], ":=", 
   RowBox[{"x", "/.", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"-", "1"}], ")"}], "n_"], "/;", 
      RowBox[{"DataType", "[", 
       RowBox[{"n", ",", "odd"}], "]"}]}], "\[RuleDelayed]", 
     RowBox[{"-", "1"}]}]}]}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[5]:=",
 CellID->1782213069],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"ptest2", "[", "x_", "]"}], ":=", 
   RowBox[{"x", "/.", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{"-", "1"}], ")"}], "n_"], "/;", 
      RowBox[{"DataType", "[", 
       RowBox[{"n", ",", "even"}], "]"}]}], "\[RuleDelayed]", "1"}]}]}], 
  ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[6]:=",
 CellID->1543768294],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"t", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "^", "m"}], "+", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "^", "a"}], "+", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "^", "z"}]}]}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[7]:=",
 CellID->1135363295],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "a"], "+", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "m"], "+", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "z"]}], TraditionalForm]], "Output",
 ImageSize->{159, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ptest1", "[", "t", "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[8]:=",
 CellID->703322505],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "a"], "+", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "z"], "-", "1"}], TraditionalForm]], "Output",\

 ImageSize->{123, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ptest2", "[", "%", "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[9]:=",
 CellID->1711798640],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "z"], TraditionalForm]], "Output",
 ImageSize->{44, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[9]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Clear", "[", 
   RowBox[{"ptest1", ",", "ptest2", ",", "t", ",", "a", ",", "m"}], "]"}], 
  ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[10]:=",
 CellID->1299043006],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"DataType", "[", 
    RowBox[{"m", ",", "integer"}], "]"}], "=", "True"}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[11]:=",
 CellID->585585082],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"f", "[", "x_", "]"}], ":=", 
   RowBox[{"x", "/.", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"-", "1"}], ")"}], "^", "p_"}], "/;", 
       RowBox[{"DataType", "[", 
        RowBox[{"p", ",", "integer"}], "]"}]}], "\[RuleDelayed]", "1"}], 
     "}"}]}]}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[12]:=",
 CellID->846476868],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"test", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "^", "m"}], "+", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"-", "1"}], ")"}], "^", "n"}], " ", "x"}]}]}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[13]:=",
 CellID->1533391272],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], "m"], "+", 
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"-", "1"}], ")"}], "n"], " ", "x"}]}], 
  TraditionalForm]], "Output",
 ImageSize->{118, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[13]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"f", "[", "test", "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[14]:=",
 CellID->1293981643],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{"-", "1"}], ")"}], "n"], " ", "x"}], "+", "1"}], 
  TraditionalForm]], "Output",
 ImageSize->{82, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[14]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Clear", "[", 
   RowBox[{"f", ",", "test"}], "]"}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[15]:=",
 CellID->943541195],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"DataType", "[", 
    RowBox[{"f", ",", "g", ",", " ", "NonCommutative"}], "]"}], " ", "=", " ",
    "False"}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[16]:=",
 CellID->1739727758],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"DataType", "[", 
    RowBox[{"m", ",", "odd"}], "]"}], "=", 
   RowBox[{
    RowBox[{"DataType", "[", 
     RowBox[{"a", ",", "even"}], "]"}], "=", "False"}]}], ";"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[17]:=",
 CellID->1265503982],

Cell["\<\
Certain FeynCalc objects have DataType PositiveInteger set to True.\
\>", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DataType", "[", 
  RowBox[{"OPEm", ",", "PositiveInteger"}], "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[18]:=",
 CellID->693329232],

Cell[BoxData[
 FormBox["True", TraditionalForm]], "Output",
 ImageSize->{31, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[18]="]
}, Open  ]],

Cell["PowerSimplify uses the DataType information.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PowerSimplify", "[", " ", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"-", "1"}], ")"}], "^", 
   RowBox[{"(", 
    RowBox[{"2", "OPEm"}], ")"}]}], "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[19]:=",
 CellID->1014422116],

Cell[BoxData[
 FormBox["1", TraditionalForm]], "Output",
 ImageSize->{11, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[19]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PowerSimplify", "[", " ", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{"-", " ", 
     RowBox[{"SO", "[", "q", "]"}]}], ")"}], "^", "OPEm"}], "]"}]], "Input",
 CellTags->"DataType",
 CellLabel->"In[20]:=",
 CellID->1682583494],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      FormBox["\<\"\[CapitalDelta]\"\>",
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox["q",
       TraditionalForm]}], ")"}], "m"], " ", 
   SuperscriptBox["\[ExponentialE]", 
    RowBox[{
     RowBox[{"2", " ", "\[ImaginaryI]", " ", "\[Pi]", " ", "m", " ", 
      TemplateBox[{RowBox[{"-", 
          FractionBox[
           RowBox[{"arg", "(", 
             RowBox[{
               FormBox["\"\[CapitalDelta]\"", TraditionalForm], 
               FormBox["\"\[CenterDot]\"", TraditionalForm], 
               FormBox["q", TraditionalForm]}], ")"}], 
           RowBox[{"2", " ", "\[Pi]"}]]}]},
       "Floor"]}], "+", 
     RowBox[{"\[ImaginaryI]", " ", "\[Pi]", " ", "m"}]}]]}], 
  TraditionalForm]], "Output",
 ImageSize->{229, 27},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DataType",
 CellLabel->"Out[20]="]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["DeclareNonCommutative",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DeclareNonCommutative",
  ButtonNote->"DeclareNonCommutative"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"DataType",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 3, 36.261267}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "DataType[exp, type] = True defines the object exp to have data-type \
type. DataType[exp1, exp2, ..., type] defines the objects exp1, exp2, ...to \
have data-type type. The default setting is DataType[__, _] := False. To \
assign a certain data-type, do, e.g., DataType[x, PositiveInteger] = True.", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "DataType", 
    "titlemodifier" -> "", "windowtitle" -> "DataType", "type" -> "Symbol", 
    "uri" -> "FeynCalc/ref/DataType"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[6575, 214, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1130400685]},
 "DataType"->{
  Cell[7241, 243, 240, 8, 27, "Input",
   CellTags->"DataType",
   CellID->1643430273],
  Cell[7506, 255, 242, 9, 27, "Input",
   CellTags->"DataType",
   CellID->370505351],
  Cell[7751, 266, 324, 12, 37, "Output",
   CellTags->"DataType"],
  Cell[8090, 281, 201, 5, 49, "Notes",
   CellTags->"DataType",
   CellID->2142748174],
  Cell[8316, 290, 131, 4, 27, "Input",
   CellTags->"DataType",
   CellID->1089346644],
  Cell[8450, 296, 296, 10, 37, "Output",
   CellTags->"DataType"],
  Cell[8761, 309, 290, 10, 27, "Input",
   CellTags->"DataType",
   CellID->2121249133],
  Cell[9054, 321, 431, 15, 29, "Input",
   CellTags->"DataType",
   CellID->1782213069],
  Cell[9488, 338, 414, 15, 29, "Input",
   CellTags->"DataType",
   CellID->1543768294],
  Cell[9927, 357, 359, 14, 27, "Input",
   CellTags->"DataType",
   CellID->1135363295],
  Cell[10289, 373, 436, 16, 37, "Output",
   CellTags->"DataType"],
  Cell[10762, 394, 125, 4, 27, "Input",
   CellTags->"DataType",
   CellID->703322505],
  Cell[10890, 400, 367, 14, 37, "Output",
   CellTags->"DataType"],
  Cell[11294, 419, 126, 4, 27, "Input",
   CellTags->"DataType",
   CellID->1711798640],
  Cell[11423, 425, 257, 9, 37, "Output",
   CellTags->"DataType"],
  Cell[11695, 437, 211, 7, 27, "Input",
   CellTags->"DataType",
   CellID->1299043006],
  Cell[11909, 446, 204, 7, 27, "Input",
   CellTags->"DataType",
   CellID->585585082],
  Cell[12116, 455, 446, 16, 29, "Input",
   CellTags->"DataType",
   CellID->846476868],
  Cell[12587, 475, 310, 12, 27, "Input",
   CellTags->"DataType",
   CellID->1533391272],
  Cell[12900, 489, 386, 15, 37, "Output",
   CellTags->"DataType"],
  Cell[13323, 509, 125, 4, 27, "Input",
   CellTags->"DataType",
   CellID->1293981643],
  Cell[13451, 515, 314, 12, 37, "Output",
   CellTags->"DataType"],
  Cell[13780, 530, 170, 6, 27, "Input",
   CellTags->"DataType",
   CellID->943541195],
  Cell[13953, 538, 242, 8, 27, "Input",
   CellTags->"DataType",
   CellID->1739727758],
  Cell[14198, 548, 292, 10, 27, "Input",
   CellTags->"DataType",
   CellID->1265503982],
  Cell[14610, 566, 168, 5, 27, "Input",
   CellTags->"DataType",
   CellID->693329232],
  Cell[14781, 573, 193, 6, 35, "Output",
   CellTags->"DataType"],
  Cell[15075, 586, 253, 9, 27, "Input",
   CellTags->"DataType",
   CellID->1014422116],
  Cell[15331, 597, 190, 6, 35, "Output",
   CellTags->"DataType"],
  Cell[15558, 608, 246, 8, 27, "Input",
   CellTags->"DataType",
   CellID->1682583494],
  Cell[15807, 618, 992, 30, 48, "Output",
   CellTags->"DataType"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 19452, 729},
 {"DataType", 19588, 733}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[580, 21, 3035, 75, 53, "AnchorBarGrid",
 CellID->1],
Cell[3618, 98, 285, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[3928, 113, 681, 17, 119, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4634, 134, 738, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->732831778],
Cell[5375, 160, 31, 0, 14, "SectionHeaderSpacer"],
Cell[5409, 162, 834, 32, 49, "Notes",
 CellID->1067943069],
Cell[6246, 196, 280, 12, 32, "Notes"]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6575, 214, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1130400685],
Cell[CellGroupData[{
Cell[6988, 233, 195, 6, 26, "ExampleSection",
 CellID->395178312],
Cell[7186, 241, 52, 0, 32, "Notes"],
Cell[7241, 243, 240, 8, 27, "Input",
 CellTags->"DataType",
 CellID->1643430273],
Cell[CellGroupData[{
Cell[7506, 255, 242, 9, 27, "Input",
 CellTags->"DataType",
 CellID->370505351],
Cell[7751, 266, 324, 12, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[8090, 281, 201, 5, 49, "Notes",
 CellTags->"DataType",
 CellID->2142748174],
Cell[CellGroupData[{
Cell[8316, 290, 131, 4, 27, "Input",
 CellTags->"DataType",
 CellID->1089346644],
Cell[8450, 296, 296, 10, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[8761, 309, 290, 10, 27, "Input",
 CellTags->"DataType",
 CellID->2121249133],
Cell[9054, 321, 431, 15, 29, "Input",
 CellTags->"DataType",
 CellID->1782213069],
Cell[9488, 338, 414, 15, 29, "Input",
 CellTags->"DataType",
 CellID->1543768294],
Cell[CellGroupData[{
Cell[9927, 357, 359, 14, 27, "Input",
 CellTags->"DataType",
 CellID->1135363295],
Cell[10289, 373, 436, 16, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10762, 394, 125, 4, 27, "Input",
 CellTags->"DataType",
 CellID->703322505],
Cell[10890, 400, 367, 14, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11294, 419, 126, 4, 27, "Input",
 CellTags->"DataType",
 CellID->1711798640],
Cell[11423, 425, 257, 9, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[11695, 437, 211, 7, 27, "Input",
 CellTags->"DataType",
 CellID->1299043006],
Cell[11909, 446, 204, 7, 27, "Input",
 CellTags->"DataType",
 CellID->585585082],
Cell[12116, 455, 446, 16, 29, "Input",
 CellTags->"DataType",
 CellID->846476868],
Cell[CellGroupData[{
Cell[12587, 475, 310, 12, 27, "Input",
 CellTags->"DataType",
 CellID->1533391272],
Cell[12900, 489, 386, 15, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13323, 509, 125, 4, 27, "Input",
 CellTags->"DataType",
 CellID->1293981643],
Cell[13451, 515, 314, 12, 37, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[13780, 530, 170, 6, 27, "Input",
 CellTags->"DataType",
 CellID->943541195],
Cell[13953, 538, 242, 8, 27, "Input",
 CellTags->"DataType",
 CellID->1739727758],
Cell[14198, 548, 292, 10, 27, "Input",
 CellTags->"DataType",
 CellID->1265503982],
Cell[14493, 560, 92, 2, 32, "Notes"],
Cell[CellGroupData[{
Cell[14610, 566, 168, 5, 27, "Input",
 CellTags->"DataType",
 CellID->693329232],
Cell[14781, 573, 193, 6, 35, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[14989, 582, 61, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[15075, 586, 253, 9, 27, "Input",
 CellTags->"DataType",
 CellID->1014422116],
Cell[15331, 597, 190, 6, 35, "Output",
 CellTags->"DataType"]
}, Open  ]],
Cell[CellGroupData[{
Cell[15558, 608, 246, 8, 27, "Input",
 CellTags->"DataType",
 CellID->1682583494],
Cell[15807, 618, 992, 30, 48, "Output",
 CellTags->"DataType"]
}, Open  ]]
}, Open  ]],
Cell[16826, 652, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16894, 657, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[17167, 671, 226, 7, 56, "SeeAlso"]
}, Open  ]],
Cell[17408, 681, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

